Computer Aided Verification The... Kousha Etessami (edi... Paperback Published 24 Jun 2005 Save $9.20 RRP $122.13 $112.93 In Stock